Applications of Prime Factorization of Ideals in Number Fields
نویسنده
چکیده
For a number fieldK, that is, a finite extension of Q, and a prime number p, a fundamental theorem of algebraic number theory implies that the ideal (p) ⊆ OK factors uniquely into prime ideals as (p) = p1 1 · · · p eg g . In this paper we explore different interpretations of this using the factorization of polynomials in finite and p-adic fields and Galois theory. In particular, we present some concrete applications for which these different interpretations are useful: • We use the Cebotarev Density Theorem to prove Dirichlet’s Theorem by computing the Frobenius element in a cyclotomic field in Section 3.1. • We prove quadratic reciprocity in Section 3.2 by using two different methods to determine how a prime splits in a particular number field. • We will also investigate in Section 3.3 under what conditions the existence of a rational root to a polynomial is guaranteed given a real root and a root in Qp for each prime. This is known as the Hasse Principle, and we will show that it holds for irreducible polynomials in one variable, and also construct a counterexample to show that it doesn’t hold for every polynomial in one variable.
منابع مشابه
Graded Prime Ideals Attached to a Group Graded Module
Let $G$ be a finitely generated abelian group and $M$ be a $G$-graded $A$-module. In general, $G$-associated prime ideals to $M$ may not exist. In this paper, we introduce the concept of $G$-attached prime ideals to $M$ as a generalization of $G$-associated prime ideals which gives a connection between certain $G$-prime ideals and $G$-graded modules over a (not necessarily $G$-graded Noetherian...
متن کاملAsymptotic behaviour of associated primes of monomial ideals with combinatorial applications
Let $R$ be a commutative Noetherian ring and $I$ be an ideal of $R$. We say that $I$ satisfies the persistence property if $mathrm{Ass}_R(R/I^k)subseteq mathrm{Ass}_R(R/I^{k+1})$ for all positive integers $kgeq 1$, which $mathrm{Ass}_R(R/I)$ denotes the set of associated prime ideals of $I$. In this paper, we introduce a class of square-free monomial ideals in the polynomial ring $R=K[x_1,ld...
متن کاملModule MA3412: Integral Domains, Modules and Algebraic Integers
2 Integral Domains 12 2.1 Factorization in Integral Domains . . . . . . . . . . . . . . . . 12 2.2 Euclidean Domains . . . . . . . . . . . . . . . . . . . . . . . . 14 2.3 Principal Ideal Domains . . . . . . . . . . . . . . . . . . . . . 16 2.4 Fermat’s Two Squares Theorem . . . . . . . . . . . . . . . . . 17 2.5 Maximal Ideals and Prime Ideals . . . . . . . . . . . . . . . . 20 2.6 Unique Fact...
متن کاملUltra and Involution Ideals in $BCK$-algebras
In this paper, we define the notions of ultra and involution ideals in $BCK$-algebras. Then we get the relation among them and other ideals as (positive) implicative, associative, commutative and prime ideals. Specially, we show that in a bounded implicative $BCK$-algebra, any involution ideal is a positive implicative ideal and in a bounded positive implicative lower $BCK$-semilattice, the not...
متن کاملThe Conductor Ideal
Let O be an order in the number field K. When O 6= OK , O is Noetherian and onedimensional, but is not integrally closed, so it has at least one nonzero prime ideal that’s not invertible and O doesn’t have unique factorization of ideals. That is, some nonzero ideal in O does not have a unique prime ideal factorization. We are going to define a special ideal in O, called the conductor, that is c...
متن کامل